Russian

• доказательное программирование
• Source: http://ru.wikipedia.org/w/index.php?title=Доказательное_программирование&oldid=30648733
• Source: http://ric.uni-altai.ru/Fundamental/moi2/upr3-4/theory2.htm